/* Generated from ../../../git/cloog/test/./non_optimal/usvd_e_t.cloog by CLooG 0.14.0-72-gefe2fc2 gmp bits in 0.36s. */
extern void hash(int);

/* Useful macros. */
#define floord(n,d) (((n)<0) ? -((-(n)+(d)-1)/(d)) : (n)/(d))
#define ceild(n,d)  (((n)<0) ? -((-(n))/(d)) : ((n)+(d)-1)/(d))
#define max(x,y)    ((x) > (y) ? (x) : (y))
#define min(x,y)    ((x) < (y) ? (x) : (y))

#define S1(i,j,k) { hash(1); hash(i); hash(j); hash(k); }
#define S2(i,j,k) { hash(2); hash(i); hash(j); hash(k); }
#define S3(i,j,k) { hash(3); hash(i); hash(j); hash(k); }
#define S4(i,j,k) { hash(4); hash(i); hash(j); hash(k); }
#define S5(i,j,k) { hash(5); hash(i); hash(j); hash(k); }
#define S6(i,j,k) { hash(6); hash(i); hash(j); hash(k); }
#define S7(i,j,k) { hash(7); hash(i); hash(j); hash(k); }
#define S8(i,j,k) { hash(8); hash(i); hash(j); hash(k); }
#define S9(i,j,k) { hash(9); hash(i); hash(j); hash(k); }
#define S10(i,j,k) { hash(10); hash(i); hash(j); hash(k); }
#define S11(i,j,k) { hash(11); hash(i); hash(j); hash(k); }
#define S12(i,j,k) { hash(12); hash(i); hash(j); hash(k); }
#define S13(i,j,k) { hash(13); hash(i); hash(j); hash(k); }
#define S14(i,j,k) { hash(14); hash(i); hash(j); hash(k); }
#define S15(i,j,k) { hash(15); hash(i); hash(j); hash(k); }
#define S16(i,j,k) { hash(16); hash(i); hash(j); hash(k); }
#define S17(i,j,k) { hash(17); hash(i); hash(j); hash(k); }
#define S18(i,j,k) { hash(18); hash(i); hash(j); hash(k); }
#define S19(i,j,k) { hash(19); hash(i); hash(j); hash(k); }
#define S20(i,j,k) { hash(20); hash(i); hash(j); hash(k); }
#define S21(i,j,k) { hash(21); hash(i); hash(j); hash(k); }
#define S22(i,j,k) { hash(22); hash(i); hash(j); hash(k); }
#define S23(i,j,k) { hash(23); hash(i); hash(j); hash(k); }
#define S24(i,j,k) { hash(24); hash(i); hash(j); hash(k); }
#define S25(i,j,k) { hash(25); hash(i); hash(j); hash(k); }
#define S26(i,j,k) { hash(26); hash(i); hash(j); hash(k); }

void test()
{
  /* Original iterators. */
  int i, j, k;
  for (i=0;i<=2;i++) {
    S1(i,0,0) ;
    S2(i,0,0) ;
    for (j=1;j<=4;j++) {
      S2(i,j,0) ;
    }
  }
  S1(3,0,0) ;
  S2(3,0,0) ;
  for (j=1;j<=4;j++) {
    S2(3,j,0) ;
  }
  for (j=7;j<=11;j++) {
    S8(3,j,0) ;
  }
  S1(4,0,0) ;
  S2(4,0,0) ;
  S3(4,0,0) ;
  S5(4,0,0) ;
  for (j=1;j<=4;j++) {
    S2(4,j,0) ;
    S5(4,j,0) ;
  }
  for (j=7;j<=11;j++) {
    S8(4,j,0) ;
  }
  S6(5,-4,0) ;
  S7(5,-4,0) ;
  for (j=-3;j<=-1;j++) {
    S7(5,j,0) ;
  }
  S3(5,0,0) ;
  S7(5,0,0) ;
  S4(5,1,-1) ;
  S5(5,1,0) ;
  for (j=2;j<=4;j++) {
    S5(5,j,0) ;
  }
  for (j=7;j<=11;j++) {
    S8(5,j,0) ;
  }
  S6(6,-4,0) ;
  S6(6,-3,0) ;
  S7(6,-3,0) ;
  for (j=-2;j<=-1;j++) {
    S7(6,j,0) ;
  }
  S3(6,0,0) ;
  S7(6,0,0) ;
  S4(6,1,-1) ;
  S4(6,2,-1) ;
  S5(6,2,0) ;
  for (j=3;j<=4;j++) {
    S5(6,j,0) ;
  }
  for (j=7;j<=11;j++) {
    S8(6,j,0) ;
  }
  for (j=-4;j<=-3;j++) {
    S6(7,j,0) ;
  }
  S6(7,-2,0) ;
  S7(7,-2,0) ;
  S7(7,-1,0) ;
  S3(7,0,0) ;
  S7(7,0,0) ;
  for (j=1;j<=2;j++) {
    S4(7,j,-1) ;
  }
  S4(7,3,-1) ;
  S5(7,3,0) ;
  S5(7,4,0) ;
  S9(7,4,0) ;
  S10(7,4,0) ;
  S11(7,4,0) ;
  S21(7,4,0) ;
  S23(7,4,0) ;
  S11(7,4,1) ;
  S16(7,4,1) ;
  S17(7,4,1) ;
  for (k=2;k<=4;k++) {
    S11(7,4,k) ;
  }
  S12(7,5,0) ;
  S21(7,5,0) ;
  S22(7,5,0) ;
  S23(7,5,0) ;
  S12(7,5,1) ;
  S16(7,5,1) ;
  S17(7,5,1) ;
  for (k=2;k<=4;k++) {
    S12(7,5,k) ;
  }
  S21(7,6,0) ;
  S22(7,6,0) ;
  S23(7,6,0) ;
  for (j=7;j<=8;j++) {
    S8(7,j,0) ;
    S21(7,j,0) ;
    S22(7,j,0) ;
    S23(7,j,0) ;
  }
  S8(7,9,0) ;
  S22(7,9,0) ;
  for (j=10;j<=11;j++) {
    S8(7,j,0) ;
  }
  for (j=-4;j<=-2;j++) {
    S6(8,j,0) ;
  }
  S6(8,-1,0) ;
  S7(8,-1,0) ;
  S3(8,0,0) ;
  S7(8,0,0) ;
  S19(8,1,-2) ;
  S4(8,1,-1) ;
  S19(8,1,-1) ;
  S19(8,1,0) ;
  S15(8,1,4) ;
  S18(8,1,4) ;
  for (k=-4;k<=-3;k++) {
    S14(8,2,k) ;
    S20(8,2,k) ;
  }
  S14(8,2,-2) ;
  S19(8,2,-2) ;
  S20(8,2,-2) ;
  S4(8,2,-1) ;
  S14(8,2,-1) ;
  S19(8,2,-1) ;
  S20(8,2,-1) ;
  S14(8,2,0) ;
  S19(8,2,0) ;
  S20(8,2,0) ;
  S15(8,2,4) ;
  S18(8,2,4) ;
  for (k=-4;k<=-2;k++) {
    S14(8,3,k) ;
    S20(8,3,k) ;
  }
  S4(8,3,-1) ;
  S14(8,3,-1) ;
  S20(8,3,-1) ;
  S14(8,3,0) ;
  S20(8,3,0) ;
  S15(8,3,4) ;
  S18(8,3,4) ;
  for (k=-4;k<=-2;k++) {
    S14(8,4,k) ;
    S20(8,4,k) ;
  }
  S4(8,4,-1) ;
  S14(8,4,-1) ;
  S20(8,4,-1) ;
  S5(8,4,0) ;
  S9(8,4,0) ;
  S10(8,4,0) ;
  S14(8,4,0) ;
  S20(8,4,0) ;
  S23(8,4,0) ;
  S13(8,4,1) ;
  S21(8,4,1) ;
  S23(8,4,1) ;
  S24(8,4,1) ;
  S13(8,4,2) ;
  S16(8,4,2) ;
  S17(8,4,2) ;
  S24(8,4,2) ;
  S13(8,4,3) ;
  S24(8,4,3) ;
  S13(8,4,4) ;
  S15(8,4,4) ;
  S23(8,5,0) ;
  S11(8,5,1) ;
  S21(8,5,1) ;
  S22(8,5,1) ;
  S23(8,5,1) ;
  S24(8,5,1) ;
  S11(8,5,2) ;
  S16(8,5,2) ;
  S17(8,5,2) ;
  S24(8,5,2) ;
  S11(8,5,3) ;
  S24(8,5,3) ;
  S11(8,5,4) ;
  S15(8,5,4) ;
  S23(8,6,0) ;
  S12(8,6,1) ;
  S21(8,6,1) ;
  S22(8,6,1) ;
  S23(8,6,1) ;
  S24(8,6,1) ;
  S12(8,6,2) ;
  S16(8,6,2) ;
  S17(8,6,2) ;
  S24(8,6,2) ;
  S12(8,6,3) ;
  S24(8,6,3) ;
  S12(8,6,4) ;
  for (j=7;j<=8;j++) {
    S23(8,j,0) ;
    S21(8,j,1) ;
    S22(8,j,1) ;
    S23(8,j,1) ;
    S24(8,j,1) ;
    for (k=2;k<=3;k++) {
      S24(8,j,k) ;
    }
  }
  S22(8,9,1) ;
  S7(9,0,0) ;
  for (j=1;j<=2;j++) {
    for (k=-1;k<=0;k++) {
      S19(9,j,k) ;
    }
    for (k=4;k<=5;k++) {
      S15(9,j,k) ;
      S18(9,j,k) ;
    }
  }
  S20(9,3,-4) ;
  for (k=-3;k<=-2;k++) {
    S14(9,3,k) ;
    S20(9,3,k) ;
  }
  for (k=-1;k<=0;k++) {
    S14(9,3,k) ;
    S19(9,3,k) ;
    S20(9,3,k) ;
  }
  for (k=4;k<=5;k++) {
    S15(9,3,k) ;
    S18(9,3,k) ;
  }
  S20(9,4,-4) ;
  for (k=-3;k<=-1;k++) {
    S14(9,4,k) ;
    S20(9,4,k) ;
  }
  S9(9,4,0) ;
  S10(9,4,0) ;
  S14(9,4,0) ;
  S20(9,4,0) ;
  S23(9,4,0) ;
  S23(9,4,1) ;
  S13(9,4,2) ;
  S21(9,4,2) ;
  S23(9,4,2) ;
  S24(9,4,2) ;
  S13(9,4,3) ;
  S16(9,4,3) ;
  S17(9,4,3) ;
  S24(9,4,3) ;
  S13(9,4,4) ;
  S15(9,4,4) ;
  S18(9,4,4) ;
  S15(9,4,5) ;
  S18(9,4,5) ;
  for (k=0;k<=1;k++) {
    S23(9,5,k) ;
  }
  S13(9,5,2) ;
  S21(9,5,2) ;
  S22(9,5,2) ;
  S23(9,5,2) ;
  S24(9,5,2) ;
  S13(9,5,3) ;
  S16(9,5,3) ;
  S17(9,5,3) ;
  S24(9,5,3) ;
  S13(9,5,4) ;
  S15(9,5,4) ;
  S15(9,5,5) ;
  for (k=0;k<=1;k++) {
    S23(9,6,k) ;
  }
  S11(9,6,2) ;
  S21(9,6,2) ;
  S22(9,6,2) ;
  S23(9,6,2) ;
  S24(9,6,2) ;
  S11(9,6,3) ;
  S16(9,6,3) ;
  S17(9,6,3) ;
  S24(9,6,3) ;
  S11(9,6,4) ;
  for (k=0;k<=1;k++) {
    S23(9,7,k) ;
  }
  S12(9,7,2) ;
  S21(9,7,2) ;
  S22(9,7,2) ;
  S23(9,7,2) ;
  S24(9,7,2) ;
  S12(9,7,3) ;
  S16(9,7,3) ;
  S17(9,7,3) ;
  S24(9,7,3) ;
  S12(9,7,4) ;
  for (k=0;k<=1;k++) {
    S23(9,8,k) ;
  }
  S21(9,8,2) ;
  S22(9,8,2) ;
  S23(9,8,2) ;
  S24(9,8,2) ;
  S24(9,8,3) ;
  S22(9,9,2) ;
  for (j=1;j<=3;j++) {
    S19(10,j,0) ;
    S26(10,j,3) ;
    S15(10,j,4) ;
    S18(10,j,4) ;
    S25(10,j,4) ;
    for (k=5;k<=6;k++) {
      S15(10,j,k) ;
      S18(10,j,k) ;
    }
  }
  for (k=-4;k<=-3;k++) {
    S20(10,4,k) ;
  }
  for (k=-2;k<=-1;k++) {
    S14(10,4,k) ;
    S20(10,4,k) ;
  }
  S9(10,4,0) ;
  S10(10,4,0) ;
  S14(10,4,0) ;
  S19(10,4,0) ;
  S20(10,4,0) ;
  S13(10,4,3) ;
  S21(10,4,3) ;
  S24(10,4,3) ;
  S26(10,4,3) ;
  S13(10,4,4) ;
  S15(10,4,4) ;
  S16(10,4,4) ;
  S17(10,4,4) ;
  S18(10,4,4) ;
  S25(10,4,4) ;
  for (k=5;k<=6;k++) {
    S15(10,4,k) ;
    S18(10,4,k) ;
  }
  S13(10,5,3) ;
  S21(10,5,3) ;
  S22(10,5,3) ;
  S24(10,5,3) ;
  S26(10,5,3) ;
  S13(10,5,4) ;
  S15(10,5,4) ;
  S16(10,5,4) ;
  S17(10,5,4) ;
  S18(10,5,4) ;
  S25(10,5,4) ;
  for (k=5;k<=6;k++) {
    S15(10,5,k) ;
    S18(10,5,k) ;
  }
  S13(10,6,3) ;
  S21(10,6,3) ;
  S22(10,6,3) ;
  S24(10,6,3) ;
  S13(10,6,4) ;
  S16(10,6,4) ;
  S17(10,6,4) ;
  S11(10,7,3) ;
  S21(10,7,3) ;
  S22(10,7,3) ;
  S24(10,7,3) ;
  S11(10,7,4) ;
  S16(10,7,4) ;
  S17(10,7,4) ;
  S12(10,8,3) ;
  S21(10,8,3) ;
  S22(10,8,3) ;
  S24(10,8,3) ;
  S12(10,8,4) ;
  S16(10,8,4) ;
  S17(10,8,4) ;
  S22(10,9,3) ;
  for (i=11;i<=14;i++) {
    for (j=1;j<=5;j++) {
      S26(i,j,3) ;
      S25(i,j,4) ;
    }
  }
}
